141. The computer user
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers,، Electronic data processing,، Programming languages )Electronic computers(
Classification :
QA
76
.
5
.
C612
142. Using formal description techniques
Author: / edited by Kenneth J. Turner
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Electronic digital computers - Programming,Formal languages
Classification :
QA
76
.
6
.
U848
1993
143. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
Author: edited by Kenneth J. Turner
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic digital computers - Programming , Formal languages
Classification :
QA
76
.
6
.
U848
1993
144. 16th International Conference on Software Engineering
Author: International Conference on Software Engineering )4991: Sorrento, Italy(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming- Congresses,، Software engineeing- Congresses,، Programming languages )Electronic computers(- Congresses
Classification :
QA
76
.
6
I573
